A Structural Synthesis System for Argument Protocol from High-Level Descriptions
ثبت نشده
چکیده
As web service choreography matures, there is greater demand for multi-agent protocols to support argument and argumentation. There is not, however a single canonical argumentation protocol. Instead we find many different styles of argumentation depending on the contest for service interaction. This offers a need for rapid protocol syntheses. In this paper we propose a high level control flow specification language for designers to build interaction protocols by reusing Lightweight Coordination Calculus (LCC)-argumentation patterns thus accelerating the construction process and reducing manual effort. Our tool receives as input a Dialogue Interaction Diagram (DID) and returns the LCC protocol generated by LCC-Argument patterns. We illustrate our proposal with a persuasion dialogue use-case.
منابع مشابه
An efficient CAD tool for High-Level Synthesis of VLSI digital transformers
Digital transformers are considered as one of the digital circuits being widely used in signal and data processing systems, audio and video processing, medical signal processing as well as telecommunication systems. Transforms such as Discrete Cosine Transform (DCT), Discrete Wavelet Transform (DWT) and Fast Fourier Transform (FFT) are among the ones being commonly used in this area. As an illu...
متن کاملAnalysis of different protocol descriptions styles in VHDL to High-Level Synthesis
A methodology based on VHDL to obtain protocol descriptions suitable to be synthesized using AMICAL, a VHDL based behavioral synthesis tool, is presented. In order to efficiently obtain synthesized architectures, a number of constraints must be imposed on the writing style of VHDL. An example based on the specification of a high speed protocol is discussed. 1-INTRODUCTION The emergence of new t...
متن کاملThe Argument of Possibility and necessity encountering the critiques of Russell, Hume, and Kant
The argument of possibility and necessity- which is considered as some of the most important arguments in proving the existence of God - have taken a key place in humanschr('39') thoughts. In history, among thinkers related to the creation of the universe, no major philosopher or thinker can be found other than those who have faced this argument; thus this argument has met many criticisms an...
متن کاملSource level optimisation of VHDL for behavioural synthesis
Optimisation in high level behavioural synthesis is usually performed by applying transforms to the datapath and control graphs. An alternative approach, however, is to apply transforms at a higher level in the process, specifically directly to the behavioural source description. This technique is analogous to the way in which the source code of a conventional sequential programming language ma...
متن کاملTannic acid: A Green Catalyst for the Eco-friendly Synthesis of 2,3-dihydroquinazolin-4(1H)-ones under Solvent Free Conditions
A new, facile, cost effective, and eco-friendly protocol is reported for the synthesis of 2,3-dihydroquinazoline-4-(1H)-ones exploring tannic acid as a novel, inexpensive, andbiodegradable catalyst. A variety of dihydroquinazolins were prepared from aromatic aldehydesand anthranilamide using catalytic amount of tannic acid under solvent free conditions.Operational simplicity, high yield, and hi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010